{-# LANGUAGE DeriveDataTypeable #-}
module Main where

import IO (stdin, hGetContents)

import Language.Coal.Type
import Language.Coal.AST
import Language.Coal.Lexer
import Language.Coal.Parser
import qualified Language.Coal.RawAST as RAST
import qualified Data.Map as Map

import Control.Monad.State

sytemFunctions = [("+", function [integer, integer] integer), ("<", function [integer, integer] integer)]

main = do 
	text <- getContents
	print $ transform sytemFunctions $ parse $ lexer text
	
                                              